Red Data Book, 1. Mammalia, compiled by Noel Simon. 2. Aves, compiled by Jack Vincent. Survival Service Commission, IUCN, Morges, Vaud, Switzerland, 70s. each.

Compiled and Edited By

Compiled Visual Programs by VisPro

VisPro is a general-purpose visual language generation system based on Reserved Graph Grammar (RGG). It is also the execution environment of visual programming languages (VPLs) developed under the VisPro system. However, due to the lack of compilation facilities, VisPro could only generate simple interpreted VPLs. We have developed a compilation mechanism for VisPro to implement compiled visual...

Bibliography Compiled by Daniel Richter

Student ratings of courses and instructors are compiled BY MIKE SMITH AND JACK MURRAY

The undergraduate Teaching Comittee has released its new version of the SCEP report for last isiemester—t(he Rice Course Instructor Evaluation. The report is a computerized compilation for each course of student response to the questionnaires distributed in class at the end of last semester. Dr. Ronald Sasls, chairman of the Teaching Committee, said copies of the report have been turned over to...

A compiled implementation of normalisation by evaluation

We present a novel compiled approach to Normalisation by Evaluation (NBE) for ML-like languages. It supports efficient normalisation of open λ-terms with respect to β-reduction and rewrite rules. We have implemented NBE and show both a detailed formal model of our implementation and its verification in Isabelle. Finally we discuss how NBE is turned into a proof rule in Isabelle.